import java.util.List;
import java.util.Map;

public interface Proposition {

	List getTruthTable();
	String getBinary();
	
}
